Multivalued Knowledge-Base based on multivalued Datalog
نویسنده
چکیده
The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. The concept of multivalued knowledgebase will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a function set of the program, which help us to determine the uncertainty levels of the results. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionisticand interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these extensions the concept of multivalued knowledge-base will be defined. This knowledge-base can be a possible background of a future agent-model. Keywords—Fuzzy-, intuitionistic-, bipolar Datalog, multivalued knowledge-base
منابع مشابه
A multivalued knowledge-base model
The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of fuzzy Datalog will be summarized, then its extensions for intuitionisticand interval-valued fuzzy logic is given and the concept of bipolar fuzzy Datalog is introduced. Based on these ideas the concept of multivalued knowledge-b...
متن کاملFrom Fuzzy Datalog to Multivalued Knowledge-Base
Human knowledge consists of static and dynamic knowledge chunks. The static ones include the so called lexical knowledge or the ability to sense similarities between facts and between predicates. Through dynamic attainments one can make deductions or one can give answers to a question. There are several and very different approaches to make a model of human knowledge, but one of the most common...
متن کاملGeneralized multivalued $F$-weak contractions on complete metric spaces
In this paper, we introduce the notion of generalized multivalued $F$- weak contraction and we prove some fixed point theorems related to introduced contraction for multivalued mapping in complete metric spaces. Our results extend and improve the results announced by many others with less hypothesis. Also, we give some illustrative examples.
متن کاملGeneralized multivalued $F$-contractions on complete metric spaces
In the present paper, we introduce the concept of generalized multivalued $F$ -contraction mappings and give a fixed point result, which is a proper generalization of some multivalued fixed point theorems including Nadler's.
متن کاملGeneralized multivalued $F$-contractions on non-complete metric spaces
In this paper, we explain a new generalized contractive condition for multivalued mappings and prove a fixed point theorem in metric spaces (not necessary complete) which extends some well-known results in the literature. Finally, as an application, we prove that a multivalued function satisfying a general linear functional inclusion admits a unique selection fulfilling the corresp...
متن کامل